Boulton Richard J. | Buy Cheap Textbooks about Boulton Richard J.

Cart Sellback List Order Lookup Support

Your results for: Boulton Richard J.

Showing 1 - 2 of 2 Results

1.

Theorem Proving in Higher Order Logics 14th International Conference, Tphols 2001, Edinburgh...

Theorem Proving in Higher Order Logics 14th International Conference, Tphols 2001, Edinburgh... by Boulton, Richard J., Jackso... ISBN: 9783540425250 List Price: $74.95

$38.77 (Save 48%)

2.

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics by Boulton, Richard J., Jackso... ISBN: 9783662199183 List Price: $24.99

OUT OF STOCK

See Availability on Amazon